(*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *)

theory parse_typecast
imports "CParser.CTranslation"
begin

external_file "parse_typecast.c"
install_C_file "parse_typecast.c"

print_locale parse_typecast_global_addresses
thm parse_typecast_global_addresses.main_body_def

end
